This page compiles pointers related to the textbook:
Type Theory and Functional Programming
Addison-Wesley (1991)
ISBN:0-201-41667-
on basic dependent type theory and functional programming.
Last revised on November 5, 2022 at 11:44:34. See the history of this page for a list of all contributions to it.